How to prove $a^{1729}\:=_{1729}\:\:a$? I know it's a Carmichael number, but how can we show it directly without knowing it's a Carmichael number?
Proof of $a^{\phi (n) +1} \equiv a \pmod{\! n} $ Carmichael generalization of Fermat-Euler's theorem.