Es decir, que como grupos, el grupo de las traslaciones y el grupo formula_117 son isomorfos.