donde formula_14 es la identidad de formula_2.