# Why does Carmichael's function mean what it does?

Carmichael's function λ(n) gives smallest number "m" such that if x≡y mod m ⇒ ax ≡ ay mod n, but WHY?
How did Carmichael figure this out?