>>832
判定したい
マグマが群かどうかを
群が単純群かどうかを