Sea formula_236 Vimos en un ejemplo del capítulo La Divisibilidad formula_206 es un irreducible de formula_7 que no es primo, por lo que formula_7 no puede ser un DFU.