donc .

divise donc divise . Or est premier et tous les facteurs de sont strictement inférieurs à , donc est premier avec chacun d'eux et, par suite est premier avec . On démontre de même que est premier avec . D'après le théorème de Gauss, divise .