orthogonally diagonalizable