Dot Product with Self is Zero iff Zero Vector/Proof 1

Theorem
Let $\mathbf u$ be a vector in the vector space $\R^n$.

Then:


 * $\mathbf u \cdot \mathbf u = 0 \iff \mathbf u = \mathbf 0$