Aquí estamos considerando que formula_37 es formula_53, formula_38 es formula_53 y formula_56 es formula_55.