En los DFU se verifica que un elemento es primo si y sólo si es irreducible.