Dot Product of Vector with Itself

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

Then:
 * $\mathbf u \cdot \mathbf u = \norm {\mathbf u}^2$

where $\norm {\mathbf u}$ is the length of $\mathbf u$.