6o4 THÉORIE 



On aura 



(32) ^+j^r 



D'autre part, / étant un entier inférieur à-, mais premier à l, 



n — / 

 sera un autre entier supérieur a -> mais intérieur a n, et 



premier à n. Donc, les entiers inférieurs à n, mais premiers 

 A n, se correspondront deux à deux, au-dessus et au-dessous 



de -' le nombre des uns et des autres étant encore — • 



2 2 



Donc , ceux qui feront partie du second groupe seront , au- 

 dessous de-, en nombre égal à 



N 



2 



■=J' 



et au-dessus de - , en nombre égal à 



N _ . . 



2 •' 



Il y a plus : deux termes correspondants, c'est-à-dire de la 

 tonne 



/, n — l 



seront, en vertu du théorème premier, deux termes qui feront 

 partie d'un même groupe, si la somme alternée ® vérilie la 

 condition 



(Q' =: n. 



Donc alors, à l'équation (32), on pourra joindre celle-ci 

 (33) i^j\ 



