Carmichael's theorem states that if a is coprime to n, then

a^λ(n) = 1(mod n),

where λ is the Carmichael function. Carmichael's theorem is related to Euler's theorem, which is a generalization of Fermat's little theorem.