Fermat's Little Theorem
a**p==a [mod p]
Proof:
Basis for induction:
1**p==1 [mod p]
Inductive hypothesis:
(a+1)**p=a**p + mp + 1 [Binomial Theorem]
==a**p + 1 [mod p]
==a+1 [mod p]