バーンサイドの定理は使っていいよ