>>535-536
既約剰余類群を用いた証明って、#(Z/nZ)=φ(n) だから、ってのじゃないのかよ……(びっくり)