 Eigendecomposition of a real symmetric matrix

The general result from eigendecomposition of a matrix:becomes:where $O$ is an orthogonal matrix, and therefore has $O^{-1}=O^T$.