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:
