Or on a évidemment
![{\displaystyle {\mathrm {F} }p=0({\text{mod}}.\quad {\mathrm {F} }p)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cdc845845b3dc766a375cea1dbddc6053531054)
.
Donc, en substituant les congruences aux égalités, on aura le théorème énoncé.
Corollaire : Soit
,
étant premier nous aurons
… Donc on aura en général, si
est un nombre premier,
![{\displaystyle ({\mathrm {P} }-p)({\mathrm {P} }-p^{2})({\mathrm {P} }-p^{3})\ldots ({\mathrm {P} }-p^{\nu -1})={\frac {{\mathrm {P} }^{\nu }-1}{{\mathrm {P} }-1}}\left({\text{mod}}.{\frac {p^{\nu }-1}{p-1}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/052d2b9b587685b578bfbecf9a6d3714ef6a77e5)
.
Si enfin l’on fait
on aura le théorème suivant
![{\displaystyle (p^{\nu }-p)(p^{\nu }-p^{2})(p^{\nu }-p^{3})\ldots (p^{\nu }-p^{\nu -1}=\nu \quad \left({\text{mod}}{\frac {p^{\nu }-1}{p-1}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50f7d925e9684c2dc6770486b32501f65996f21c)
,
étant premier.
Quelques fragments, qui seront publiés ultérieurement, paraissent se rapporter au même ordre d’idées.
Le manuscrit du fragment sur Les équations primitives… contient dix pages. On n’a pas ici de raisons de penser que les additions qui sont en marge ne soient pas à peu près contemporaines de la rédaction ; je les note cependant :
Page 53 des Œuvres, lignes 19 et 20 : « en remplaçant… indices ».
Page 57 : de la ligne 5 à la ligne 18.
Page 59, ligne 21, à partir de : « et de là… » et les lignes 22 et 23.
Voici maintenant les observations qui résultent de la comparaison du texte imprimé et des manuscrits de Galois et de Chevalier.
Liouville a imprimé les indices comme Galois les disposait, par exemple,
,
pour désigner une lettre
dont les indices sont