Выдержка из книги
Фаддеев Д.К.
Сборник задач по высшей алгебре
Воспользоваться тем, что из трех преобразований ах, ау, аг два всегда увеличивают одну из координат. Если же точка лежит в области x2Jry 2 г2, yz - - z2 х2, z2 - - x2 у2, то все три преобразования увеличивают изменяемую координату. Можно доказать, что область x2 - f y22sz2, y2 - irz2 sxz, z2 x2 sy2 есть фундаментальная область для группы.