Scalar Multiplication of Vectors is Associative

Theorem
Let $\mathbf a$ be a vector.

Let $m, n$ be scalars.

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