Cited passages: Long Chen, Introduction to Multigrid Methods, 17 December 2011, section 2: plain Jacobi retains both extreme sine modes; Long Chen, Introduction to Multigrid Methods, 17 December 2011, sections 4–5: energy projection, transfer matrices, and Galerkin triple product; the displayed cancellation identities follow by direct substitution.