Sejam e matrizes reais quadradas de ordem tais que é simétrica (isto é, ) e é ortogonal (isto é, ), diferente da matriz identidade. Se então: