This theorem states that if p is a prime number and k is a positive integer, then a^(kp) ≡ (a^k)^p (mod p).