Original: If we do pick an a such that then a is known as a Fermat witness for the compositeness of n. Example Suppose we wish to determine if n = 221 is prime.
Simplified: If we do pick an a such that then a is known as a Fermat witness for the compositeness of n. is the modulo operation.