Matrix Multiplication Distributes over Matrix Addition

Theorem
Matrix multiplication (conventional) is distributive over matrix entrywise addition.

Proof
Let $$\mathbf{A} = \left[{a}\right]_{m n}, \mathbf{B} = \left[{b}\right]_{n p}, \mathbf{C} = \left[{c}\right]_{n p}$$ be matrices over a ring $$\left({R, +, \circ}\right)$$.

Consider $$\mathbf{A} \left({\mathbf{B} + \mathbf{C}}\right)$$.

Let $$\mathbf{R} = \left[{r}\right]_{n p} = \mathbf{B} + \mathbf{C}, \mathbf{S} = \left[{s}\right]_{m p} = \mathbf{A} \left({\mathbf{B} + \mathbf{C}}\right)$$.

Let $$\mathbf{G} = \left[{g}\right]_{m p} = \mathbf{A} \mathbf{B}, \mathbf{H} = \left[{h}\right]_{m p} = \mathbf{A} \mathbf{C}$$.

Then:

$$ $$ $$ $$ $$

Thus $$\mathbf{A} \left({\mathbf{B} + \mathbf{C}}\right) = \left({\mathbf{A} \mathbf{B}}\right) + \left({\mathbf{A} \mathbf{C}}\right)$$.

A similar construction shows that $$\left({\mathbf{B} + \mathbf{C}}\right) \mathbf{A} = \left({\mathbf{B} \mathbf{A}}\right) + \left({\mathbf{C} \mathbf{A}}\right)$$.