>>502
>>任意の非自明な正規部分群が3-cycleを持つことを証明することで
>この箇所だけが少し難しい

むつかしくねーよ
ガロア本なら たいがいあるぜよ