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é.