>>790
Hは真の部分群でGの全ての真の部分群を含む
です