어떻게든 갈루아 이론 보여준다고 Sylow 정리같은 거 증명없이 가져와서 어거지로 나가는 느낌인데 정상이냐