Tout entier n supérieur ou égal à 2 se décompose en produit de facteurs premiers.
Plus précisément, si n⩾2, il existe des nombres premiers p1, p2, … , pk et des entiers naturels non nuls α1, α2, … , αk tels que n=p1α1×p2α2×…×pkαk.
Cette décomposition est unique à l'ordre des facteurs près.