Hermitian operator#Spectral theorem