Ecrivons la liste de tous les éléments de ,et barrons les «double emploi» :

Réécrivons cette liste, qui ne comporte plus maintenant que des fractions irréductibles (chaque élément de est écrit une fois et une seule) :

Ecrivons

, écrit ainsi, est bien ordonné.