Give a one-sentence synopsis of the proof of Theorem 20.1.

Data from 20.1 Theorem 

If a ∈ Z and p is a prime not dividing a, then p divides a^P-1 - 1, that is, a^P-1 = 1 (mod p) for a ≠ 0 (mod p).