Sean las funciones formula_16 y formula_354.