Sea formula_18 un DFU y sea formula_14 su cuerpo de fracciones.