フェルマーの小定理
and therefore, by Fermat's little theorem