解答がのっていなかったので・・・

G:無限群　HとKをGの部分群とする。
　| H : H∧K | ≦　|G : K|
を示してください。