spectral decomposition theorem