Si formula_18 es un DFU, entonces formula_17 es un DFU.