>>343
gをGの任意の元、hをHの元とすると
g^(-1)hg=g^(-1)g^(-1)h^(-1)hghg={g^(-1)}^2{h^(-1)}(hg)^2
{g^(-1)}^2と(hg)^2はHの元だから、g^(-1)hgもHの元となる。
よってHはGの正規部分群である