- 134 名前：１３２人目の素数さん [2024/04/12(金) 13:27:11.31 ID: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)
https://mathlandscape,com/fermat-little/
