An odd composite coprime to is a Fermat pseudoprime to base when . It is a Carmichael number when this congruence holds for every coprime to .
Suppose a Carmichael number has with . The group is cyclic, so choose a residue of order
By the Chinese remainder theorem, extend it to an integer that is congruent to modulo every other prime-power factor of . Then , and the Carmichael congruence forces the order of modulo to divide . In particular , contradicting . Therefore every Carmichael number is square-free.
Now assume is square-free. If for every , then for every coprime to , Fermat little theorem gives
for each . The Chinese remainder theorem then gives the congruence modulo , so is Carmichael.
Conversely, if is Carmichael, fix . Choose a primitive root modulo and use the Chinese remainder theorem to choose and . Then , so the order of divides . This proves the Korselt criterion in the required form:
A Carmichael number cannot have one prime factor because it is composite. If with distinct primes , the condition implies , which is impossible. Hence every Carmichael number has at least three prime factors.
The converted source omits from the product; the PDF asks about . Fix the odd prime , and suppose is Carmichael. Its three prime factors are distinct by the Korselt criterion. Relabel so that .
The divisibility conditions include
Write
for a positive integer . Since ,
so . Moreover,
Multiplying the second divisibility by and reducing modulo gives
The positive integer on the right is at most . Consequently
There are only finitely many possible primes and integers , and each pair determines at most one . Therefore
A Carmichael number is a composite such that for every coprime to . For , choose by CRT a number whose residue mod is a primitive root; its order divides . If , choose instead a primitive root modulo ; then , impossible because . Thus is square-free. Write . Since , also ; compositeness gives , hence and . This is Korselt criterion.