Theorem

If and are both inverses of the matrix , then

Proof

Let be inverse of . Then we have .

Multiplying both sizes by gives .

But it is also true that .

Thus, .

Remark

As a consequence of this theorem, if is invertible, we simply denote inverse of as . Thus,