Soit un naturel.
Montrer que les naturels et sont premiers entre eux.
donc, d'après l'égalité de Bezout, et sont premiers entre eux.