On peut aisément montrer la propriété suivante:
Donc (car ), mais aussi , , , . Par transitivité de cette relation d'équivalence on obtient donc , ce qui veut dire que . Or , donc .