5.2a-Orthogonal-and-Unitary-Diagonalizability