- ABDC est un si et seulement si =
- A, B et C sont si et seulement si et sont .
- Les droites (AB) et (CD) sont si et seulement si et sont .
- et sont si et seulement s'il existe un nombre réel k tel que ( = *) ( = k*).
- Le vecteur est à tous les autres vecteurs.
- et sont colinéaires si et seulement si *y' = * y
- Si k et k' sont deux nombres réels, on a (k k') = *+*.
- Si k est un nombre réel, on a k*(+) = *+*
- Si k est un nombre réel, k = si et seulement si (=) ( = ).