Matrix Entrywise Addition over Ring is Associative

Theorem
Let $\struct {R, +, \circ}$ be a ring.

Let $\map {\MM_R} {m, n}$ be a $m \times n$ matrix space over $R$.

For $\mathbf A, \mathbf B \in \map {\MM_R} {m, n}$, let $\mathbf A + \mathbf B$ be defined as the matrix entrywise sum of $\mathbf A$ and $\mathbf B$.

The operation $+$ is associative on $\map {\MM_R} {m, n}$.

That is:
 * $\paren {\mathbf A + \mathbf B} + \mathbf C = \mathbf A + \paren {\mathbf B + \mathbf C}$

for all $\mathbf A$, $\mathbf B$ and $\mathbf C$ in $\map {\MM_R} {m, n}$.

Also see

 * Matrix Entrywise Addition over Ring is Commutative