Fermat's little theorem
フェルマーの小定理は、"p"が素数であり"a"と"p"が互いに素である場合、"a""p"−1 − 1 は"p"で割り切れるという内容である。整数"a" &gt; 1で合成数の整数"x"が "a""x"−1 − 1を割り切れる場合、"x"は"aを底とする"と呼ばれる。"x"が底"a"のフェルマー擬素数である場合、"x"は"a"と互いに素となる。この定義とは異なる定義を用いるものもある。例えば、それを用いると奇数のみを擬素数にすることができる。