Entonces existe un isomorfismo formula_2, y por tanto