Deux nombres naturels dont le pgcd est 1 sont dits « premiers entre eux ». ... Si n est divisible par a et b, et si a et b sont premiers entre eux, alors n est divisible par a × b. • Si un n divise un produit de deux facteurs et s'il est premier avec l'un d'entre eux, alors il divise l'autre
