Dot Product with Self is Non-Negative

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

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

where $\cdot$ denotes the dot product operator.