The projection spectral theorem