para algún formula_117.