étant des nombres entiers, et les deux derniers pouvant être indistinctement supposés positifs ou négatifs. En multipliant cette équation par où est un nombre entier arbitraire, positif ou négatif, l’équation résultante pourra être mise sous cette forme
puis, sous celle-ci,
où est un autre nombre entier arbitraire. En développant et ordonnant par rapport à cette équation deviendra
en posant donc
nous aurons
d’où
et par suite
tout se réduit donc à profiter de l’indétermination des deux nombres et , pour faire en sorte que et soient deux nombres positifs les plus grands possibles, de manière que soit le plus grand des deux.