Matrix is Invertible iff Determinant has Multiplicative Inverse/Necessary Condition

Theorem
Let $\left({R, +, \circ}\right)$ be a commutative ring with unity.

Let $\mathbf A \in R^{n \times n}$ be an invertible square matrix of order $n$.

Let $\mathbf B = \mathbf A^{-1}$ be the inverse of $\mathbf A$.

Let $\det \left({\mathbf A}\right)$ be the determinant of $\mathbf A$.

Then:
 * $\det \left({\mathbf B}\right) = \dfrac 1 {\det \left({\mathbf A}\right)}$

Proof
Let $\mathbf A$ be invertible.

Let $1_R$ denote the unity of $R$.

Let $\mathbf I_n$ denote the unit matrix of order $n$.

Then:

This shows that:
 * $\det \left({\mathbf B}\right) = \dfrac 1 {\det \left({\mathbf A}\right)}$