Choisissez un entier tel que et ne partagez aucun diviseur autre que -LRB- c'est-à-dire et sont coprime -RRB-.
Choisissez un entier tel que 1 e \, \ phi -LRB- n -RRB- \, et est coprime à ie : et ne partage aucun facteur autre que 1 ; gcd -LRB-, -RRB- = 1.