AFF'F"... = PQ

Le premier membre étant divisible par F, le second doit l’être aussi ; mais le facteur P contient (n+l) lettres, l’autre facteur Q en renferme n ou (n -f 1), et il y en an dans le diviseur premierF : nous sommes donc dans le premier ou dans le deuxième cas ; donc P ou Q sera divisible par F ; mais P est une quantité première , donc Q est divisible par F; donc en représentant par Q le quotient de la division de Q par F, et en divisant les deux membres de légalité précédente par F, on aura