Considere as seguintes simbologias em relação à matriz M:
Mt é a matriz transposta de M
M−1 é a matriz inversa de M
det M é o determinante da matriz M
Da equação (Xt ) −1 = A⋅ (B +C) , em que A e (B + C ) são matrizes quadradas de ordem n e inversíveis, afirma-se que