Oxford Linear Algebra: Spectral Theorem Proof