Teorema que afirma que todo entero mayor que uno puede escribirse como producto de números primos y que dicha factorización es única salvo el orden de los factores (y salvo multiplicación por las unidades ±1 en Z).
La afirmación de que todo entero mayor que uno se factoriza de forma única como producto de números primos, salvo el orden de los factores; los primos son los átomos multiplicativos de los enteros.
La afirmación de que todo entero mayor que uno puede expresarse como producto de números primos y que esta factorización es única salvo el orden de los factores primos.