Proposisi 3.1.6.
Jika \(A\) adalah matriks invertibel \(n\times n\) dengan invers \(B\text{,}\) maka \(BA=I\text{,}\) yang menyatakan bahwa \(B\) invertibel dengan invers \(A\text{.}\) Dengan kata lain,
\begin{equation*}
(A^{-1})^{-1} = A.
\end{equation*}