 Fermat primality test

The Fermat test looks for a coprime base $a$ with $a^{N-1}\not\equiv 1(\mathrm{mod}N)$. Such a witness proves compositeness by the Fermat little theorem, but Carmichael numbers pass for every coprime base.

The Fermat primality test is a probabilistic method used to determine whether a number is prime.