Fermat's little theorem
Proof of (1) and (2): One has from Fermat's little theorem,