Spectral theorem (compact self-adjoint)

Compact self-adjoint T on H: exists ON basis {eₙ} of eigenvectors, eigenvalues λₙ → 0. Tx = Σ λₙ ⟨x,eₙ⟩ eₙ.