>>156
|G:H|=|K:f(H)|を示せばいい

>>163
集合論の本を読んだ方がはやいよ