7) Soit un entier naturel premier.
est premier
est pair
n'est pas divisible par
et ; premier admet exactement deux diviseurs et donc n'est pas un produit de facteurs compris entre et . Ainsi, ne divise pas
