Dot Product with Zero Vector is Zero

Theorem
Let $\mathbf u$ be a vector quantity.

Let $\cdot$ denote the dot product operator.

Then:
 * $\mathbf u \cdot \mathbf 0 = 0$

where $\mathbf 0$ denotes the zero vector.

Proof
By definition of dot product: