p：素数
Z：整数全体のなす環
Z/((p^2)Z)の乗法に関する可逆元ａはａ＾p(p-1)＝１をみたすことを示せ。

分かりません。お願いします。