donde formula_138 es la identidad de formula_126.