Scalar Multiplication of Vectors is Distributive over Scalar Addition

Theorem
Let $\mathbf a$ be a vector.

Let $m, n$ be scalars.

Then:
 * $\paren {m + n} \mathbf a = m \mathbf a + n \mathbf a$