Es muy fácil notar que formula_53 y formula_54 son isomorfos, siendo la aplicación formula_55, dada por