Scalar Multiplication of Vectors is Distributive over Vector Addition

Theorem
Let $\mathbf a, \mathbf b$ be a vectors.

Let $m$ be a scalar.

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