\vec u * \vec u es siempre no negativo. Demuéstralo