命題
G ≠ 1 を可解群（過去スレpart1の550）とする。
このとき G ≠ [G、G] である。

証明
G の正規部分群 N、G ≠ N で G/N がアーベル群となるものがある。
>>433より [G, G] ⊂ N である。
よって、G ≠ [G、G] である。
証明終