5.2c-Orthogonal-and-Unitary-Diagonalizability