 Finite-dimensional spectral theorem

Every self-adjoint operator on a finite-dimensional real inner-product space has an orthonormal basis of eigenvectors and only real eigenvalues.