Pour tout entier naturel , donc les entiers et vérifient une égalité de Bézout. Ainsi et sont toujours premiers entre eux.