Fermat's little theorem
フェルマーの小定理の対偶である次のような命題を考える。