(a,n)=1 ⇒ a^(Φ(n))≡1 (mod n)
(ただし、Φ(n)はn以下の正整数でnと互いに素なものの個数を表す)

この定理の証明の仕方が分かりません。誰か教えて下さい。 orz