命題
G を群とする。
N を G の正規部分群とする。
G/N はアーベル群であるとする。
このとき [G, G] ⊂ N である。

証明
π：G → G/N を標準準同型とする。
>>432より π([G, G]) = 1 である。
よって、[G, G] ⊂ N である。
証明終