Es claro que la identidad de formula_2 es la misma que la identidad de formula_1, pues éste es el único elemento formula_10 de formula_1 que cumple formula_12.