En désignant par la propriété :

Propriété : Propriété P

Les trois réels , , sont deux à deux distincts.

Et par la propriété :

Propriété : Propriété Q

La partie est une partie libre.

Il s'agit de montrer l'équivalence .