Si un entier naturel ( ) n'est divisible par aucun nombre premier dont le carré est inférieur ou égal à alors est premier.