\vec u * \vec u è sempre non negativo. Dimostra