Gが群、ＳがGの部分集合（部分群でなく）のときに
ＮＧ（Ｓ）＝｛ｘ∈Ｇ　｜　ｘ＾−１・Ｓ・ｘ＝Ｓ｝が部分群となることを証明するにはどうすればいいですか？