Ta có :
$det \begin{pmatrix} I & B\\ -A & I \end{pmatrix} = det\begin{pmatrix} I & B\\ O & AB + I \end{pmatrix} = det (I + AB)$
Mặc khác:
$det\begin{pmatrix} I & B\\ -A & I \end{pmatrix} = det\begin{pmatrix} I & B\\ O & BA + I \end{pmatrix} = det ( I + BA)$
Nên $det (I + AB) = det(I + BA)$
Suy ra $I + AB$ khả nghịch