In number theory, the number a is a witness for n if an 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.