\vec u * \vec u is always non-negative. Prove