어떻게 증명함?
가환인거 까지는 알겠는데

감조차 못잡겠어
Z_p^2이랑 동형인거 보이면 될거같은데