Sean formula_14, formula_15 dos funciones definidas para formula_16 y sea formula_17.