命題
G を群とする。
[G, G] （>>415）は G の正規部分群である。

証明
>>427より [G, G] は G の特性部分群である。
よって、>>405より [G, G] は G の正規部分群である。
証明終