>>238
任意の[x,y]∈D(G)をとる。任意のg∈Gに対し、
ｇ[x,y]g-1=[gxg-1,gyg-1]∈D(G)　つまりD(G)の生成元の共役元も再び生成元したがって、Ｄ（Ｇ）は正規。
G/Nがアーベルなら、[x,y]N=N。したがって[x,y]∈N