También conocido como teorema de factorización única, afirma que todo entero positivo se puede representar de forma única como producto de factores primos.