la restricción: formula_23