4번에 G에서 X->X 로가는 호모몰피즘이 단사면
케일리 정리가 성립된다는데

단사인걸 증명못하겠음