Donc : 1o si est divisible par et le seront aussi ; 2o si n’est point divisible par comme est nécessairement divisible par il faudra que le soit aussi ; donc, à cause que est premier, il faudra que l’un ou l’autre des facteurs de savoir et soit divisible par
Soit d’abord divisible par et le sera aussi ; donc et seront divisibles par
Soit ensuite divisible par le sera aussi ; donc et seront divisibles par
Or, en multipliant ensemble les deux équations
on a celle-ci :
dans laquelle
ou bien, en substituant pour et leurs valeurs,
savoir, à cause de
Donc, en premier lieu, si est divisible par en sorte que et le soient aussi, et qu’on prenne, dans les expressions de