Theorem T23 If ppp is a prime number, then ap≡a(modulo p)a^p \equiv a \quad \text{(modulo $p$)} ap≡a(modulo p) for all integers aaa. notation-congruence-modulo