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

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