指数2の部分群が正規部分群であることの証明が分かりません