Entonces, formula_7 es un DFU, ssi,