Unit Matrix is Identity for Matrix Multiplication

Theorem
Let $R$ be a ring with unity whose zero is $0_R$ and whose unity is $1_R$.

Let $n \in \Z_{>0}$ be a (strictly) positive integer.

Let $\map {\MM_R} n$ denote the metric space of square matrices of order $n$ over $R$.

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

Then:
 * $\forall \mathbf A \in \map {\MM_R} n: \mathbf A \mathbf I_n = \mathbf A = \mathbf I_n \mathbf A$

That is, the unit matrix $\mathbf I_n$ is the identity element for (conventional) matrix multiplication over $\map {\MM_R} n$.

Lemma: Right Identity
Thus: $\mathbf A \mathbf I_n = \mathbf A = \mathbf I_n \mathbf A$

Hence, by definition, $\mathbf I_n$ is an identity element for (conventional) matrix multiplication over $\map {\MM_R} n$.

That $\mathbf I_n$ is the identity element follows from Identity is Unique.