*Let and be distinct primes, and let satisfy . Then for any , .*

For some reason, even in published works, this important cryptographic result is often only half proved. Here is a full proof.

**Proof: **We consider two cases: (i) is relatively prime to both and (and hence relatively prime to ), and (ii) is a multiple of one of the primes, say . We note that can’t be a product of *both* primes, for then it would be greater than their product, thus violating the statement of the theorem.

(i) By definition, for some integer . Since , then by Euler’s theorem

.

(ii) Clearly

(1)

since both sides are equal to . We can also write , and since is relatively prime to , then by Euler’s theorem again and so

(2)

By the Chinese remainder theorem, (1) and (2) together prove as required.