"a"と"b"によって生成される回転群をhとする。