 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.