[mod 
]
=>
Inductive hypothesis:
[mod ]
=>
[mod 
][if
n>0]
Basis for induction:
[mod 2]
[mod p][By Fermat's Little Theorem]
=> 
[mod 2p]
By mathematical induction:
[mod 
]
Copyright 1997 James Wanless