spectral theorems