Es claro que la identidad de formula_126 es la misma que la identidad de formula_24, pues éste es el único elemento formula_40 de formula_24 que cumple formula_105.