donde formula_8 es la función identidad en formula_1, y formula_10.