>>417
y ∈Gに対して yx ∈ Gであり

yNy^(-1) = ∧(yxH (yx)^(-1)) ⊆ ∧(xHx^(-1))