Vector Addition is Associative

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

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