Así, se tiene como corolario que si formula_3 es un DFU entonces también lo es formula_7, sea o no este último anillo un dominio de ideales principales (DIP).