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