2. Condições suficientes

Considerando A e B como matrizes quadradas de ordem n, tais que A . B = In, nesse caso, necessariamente B. A = In e, logo, A . B = B . A = In.

Dado esta demonstração, concluímos que, apesar da necessidade de definição, A . B = In é condição suficiente para A e B serem inversas uma da outra.

Veja a representação: