ラグランジュの定理でわかるのって部分群の位数が群の位数を割る
ということだけじゃなかったっけ？
なんで個数がわかんの？