Fermat's little theorem
フェルマーテストが「合成数」と出力したとき、上のフェルマーの小定理の対偶によって "n" は実際に合成数である。しかし、上の対偶は十分条件を与えるのみで必要条件を与えるものではないので、「確率的素数」と出力された場合でも "n" は実際に素数であるとは限らない。素数ではないにもかかわらず「確率的素数」と判定されてしまう合成数は擬素数と呼ばれる。