In number theory, the number a is a **witness for n** if a^{n} is **not** congruent to a (mod n)

a is so-called because it can be used to "testify" (i.e. prove) that n is a composite number by applying Fermat's Little Theorem. Prime numbers and Carmichael numbers have no witnesses.