formula_32 significa que los grupos son isomorfos, es decir que