tenemos un isomorfismo formula_25.