15.3 Diagonalization of symmetric matrices