Unit Matrix is Identity for Matrix Multiplication/Right

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

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

Let $\map {\MM_R} {m, n}$ denote the $m \times n$ metric space over $R$.

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

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

Proof
Let $\sqbrk a_{m n} \in \map {\MM_R} {m, n}$.

Let $\sqbrk b_{m n} = \sqbrk a_{m n} \mathbf I_n$.

Then:

Thus $\sqbrk b_{m n} = \sqbrk a_{m n}$ and $\mathbf I_n$ is shown to be a right identity.