Proof of Uniqueness of the Matrix Inverse

Suppose $B$ and $C$ are both inverses of $A$, so

where $I_n$ is the identity matrix and the products are taken in the sense of the matrix product definition. By associativity of the matrix product,

Hence $B = C$, and the inverse is unique.