185
FONCTIONNEL.
si l’on développe le second membre de cette équation, tous les termes de son développement excepté le dernier seront divisibles par de sorte qu’on peut écrire
désignant un nombre entier ; or, de là résulte
ainsi, est divisible par bien que ce nombre ne soit pas premier.
Il est donc certain que l’une des deux formules et peut être divisible par le nombre impair sans que ce nombre
soit premier ; mais il n’en demeure pas moins certain que, lorsque
ce nombre est premier, il divise nécessairement l’une ou l’autre de
ces deux formules ; ce qu’on peut prouver assez simplement comme
il suit.
Soit un nombre premier quelconque, on aura
d’où