Por lo tanto, formula_77 es un isomorfismo, y hemos demostrado el