巡回群であることを利用します。\(n=p^2t\:\:(\:p\)は奇素数。合成数だとその逆は成り立たない)。従って、\(a^{n-1}\equiv1\:\:(\mr{mod}\:n)\)が成り立ちます。元の数は、\(|M|\leq|F|\)です。割り切る)なので、\(a^{n-1}\equiv1\:\:(\mr{mod}\:p^2)\)\((\br{B})\)も同時に成り立ちます。R_1\\&&\:\:|F|&\leq|R_1|\\\end{eqnarray}\)が成り立ちます。あわせると、\(|M|\leq|R_1|\)です。p^2t-1\\\end{eqnarray}\)です。\(t\)個の数が対応します。従って、\(t|R_2|=|R_1|\)です。t|R_2|\)です。互いに素な元だけです。