フェルマーの小定理
Proof of (1) and (2): One has from Fermat's little theorem,