En el resto de esta sección, supondremos que formula_18 es un DFU y que formula_14 es su cuerpo de fracciones.