Lax equivalence theorem

For consistent linear PDE scheme: stability ⟺ convergence. Central result of PDE numerics. von Neumann stability analysis via Fourier.