fermat'slittletheorem

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]