For an odd integer and a base coprime to , an Euler witness is a base for whichBy Euler's criterion, this failure cannot occur for an odd prime, so it certifies that is a composite number.
For example, take and . Then , while the Jacobi symbol is . Thus the base two witnesses the compositeness of fifteen without supplying its factors. If instead , the greatest common divisor already gives a proper divisor, so a primality test can reject before computing this congruence.
New to topics? Read the docs here!