이건 세부적인것보다 큰그림이 이해가 안댄다 큰 그림은 H의 order가 5로 나뉠때 모순을 보이고 6이거나 12일때 5로 나뉘어서 모순보이고 끝 하는데

H의 order가 가질수있는 경우의 수가 그것밖에 없다는건 어떻게 알아냄?


그리고 셋째줄에 N_G(P)의 카디널이 10인건 밝히고 쓰질 않네... 혹시 이걸로 내 질문을 해결할수있음?