この数式は前にも書きましたが、私が個人的に発見した、フェルマーの小定理の拡張定理？
と名前を付けた式を以下に示します。
pを素数とし、aをpの倍数でない整数とすると
a^((p-1) p^(n-1) )≡1 (mod p^n)
という式になります。この式は、wolfram alphaで値を代入して計算すると正しい式であると
思われます。証明はできていません。そかれから、これが既知のものかは分かりません。