Spectral theorem