2. Les vecteurs et forment une famille libre.

Comme et sont isotropes, tous les vecteurs de la forme ou , , sont isotropes : on suppose qu'il existe dans un vecteur isotrope autre que ceux-là.