Théorème 3 :
Si , son plus petit diviseur est un nombre premier
Démonstration :
Soit le plus petit élément de .
Si non premier, alors admet un diviseur d tel que
Donc .
Contradictoire avec la définition de p.
Exemple :
Ensemble des diviseurs de 1 :
Ensemble des diviseurs de 5 :
Ensemble des diviseurs de 18 :
Ensemble des diviseurs de 100 :
Théorème 4 :
Dans la liste des diviseurs de n, le produit de deux diviseurs entier symétriquement par
rapport au milieu de la liste est égal à n
Théorème 5 :
Un entier qui n’est divisible par aucun des nombres situés entre 2 et est
un nombre premier
Théorème 6 :
Tout élément de est soit un nombre premier soit un produit de nombre premiers