24/04/12 13:27:11.31 W3OozUMf.net
>>127
1≦k≦p-1 かつ (k,p)=1 である k が φ(p) 個あったとする。
このとき φ(p)個の k･n はいずれも pと互いに素で、また
どの2つも (pを法として) 合同ではない。
k (pと互いに素) に対して、k'･n≡k となる k' (pと互いに素) が1個ずつある。
それらをすべて掛けると
n^φ(n) Π k' ≡ Πk (mod p)
n^φ(n) ≡ 1 (mod p)
URLﾘﾝｸ(mathlandscape,com)