\vec u * \vec u 는 항상 비음. 증명하라