\vec u * \vec u est toujours non négatif. Démontrez