Spectral theorem for real symmetric matrices

Every real symmetric matrix has an orthonormal basis of real eigenvectors. Equivalently, it admits an orthogonal diagonalization $A=O^{T}DO$ with $D$ real diagonal and $O$ an orthogonal matrix.

This is the finite-dimensional real-symmetric case of the spectral theorem.