Como formula_28 es la mínima extensión de formula_4 que contien a formula_7 e formula_34, se concluye que formula_35, con lo que formula_36 es sobreyectiva, y como era monomorfismo, es isomorfismo.