Homer spectral theorem