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,