donde formula_76 es la identidad en formula_1.