命題
G ≠ 1 を有限群とする。
G は極小正規部分群（>>412）を持つ。

証明
自明である。