“…It follows that (k, m, 2)-groups are finite torsion-free quotients of the extended (k, m, 2)-triangle group [7]. We will say that two (k, m, 2)-groups G = x, y, z and G = x , y , z are congruent if there is a group isomorphism from G onto G taking x to x , y to y , and z to z .…”