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 = \left\|{ \mathbf u }\right\|^2$ where $\left\|{ \mathbf u }\right\|$ is the length of $\mathbf u$.