\vec u * \vec u は常に非負。証明せよ。