Pour que soit divisible par il faut et il suffit que soit divisible par

En effet si la décomposition en facteurs premiers de est :

celle de est :

Si est divisible par le nombre l'un des est

Puisque est un nombre premier, c'est l'un des