Sejam A, B e C matrizes quadradas n×n tais que A e B são inversíveis e ABCA=At , onde At é a transposta da matriz A. Então podemos afirmar que: