5.2b-Orthogonal-and-Unitary-Diagonalizability