Fermat's little theorem
フェルマーの小定理の対偶をとると、これは次のように、自然数 "n" が合成数であるための十分条件を与える。