Sean las funciones formula_16, formula_354 y formula_375.