Entonces formula_157 tiene primer elemento para la relación formula_44 en formula_1, y por la propia definición de formula_44, es claro que es también primer elemento para la relación formula_44 en formula_25.