Si est un nombre premier et un entier non divisible par alors .
Si est un nombre premier et un entier quelconque, alors est divisible par .