Tout entier n supérieur ou égal à 2 se décompose en produit de facteurs premiers.
Plus précisément, si n \geqslant 2, il existe des nombres premiers p_1, p_2, … , p_k et des entiers naturels non nuls \alpha_1, \alpha_2, … , \alpha_k tels que n=p_{1}^{\alpha_{1}} \times p_{2}^{\alpha_{2}} \times \ldots \times p_{k}^{\alpha_{k}}.
Cette décomposition est unique à l'ordre des facteurs près.