En un DFU, los irreducibles son primos.