Fermat's little theorem

a^p−1≡1 (mod p)

a^p−1−1 = p(α+β+…)

       T.theodor      2022.10.6.