équivaut à , soit ou encore ; étant entier, divise entier naturel inférieur ou égal à .

Donc . Par suite, .

D'après le théorème de Gauss, divise et divise . Or, et sont des entiers naturels non nuls et inférieurs ou égaux à , donc et . On peut vérifier que .