>>500
>任意の非自明な正規部分群が3-cycleを持つことを証明することで
この箇所だけが少し難しい。要約で満足してるセタは永久に気づけないがね。