Sin embargo, cuando el dominio es DFU, se cumple que todos los irreducibles son primos como vimos en la proposición 2 del capítulo La Factorización de Polinomios.