Puesto que formula_3 es inyectiva, formula_24 no es imagen más que de un único elemento a, y que, al ser formula_252 para todo índice formula_72, cumple con formula_251 para todo formula_72, con lo que formula_265.