8.2 Orthogonal diagonalization