Esto afirma que cada número entero tiene una factorization única en números primos.