Feit-ThompsonとかDicksonとかいうのは何ページくらいで証明できるの?学部程度の知識を仮定して