>>594 a^2=b^2=1を満たすa,bが生成する群とか。