定理(Fermat)．
\(p\)を素数とする．
証明には，
二項定理と合同式
を用いる．
- 任意の整数\(a\)に対して，次が成り立つ． $$ a^{p}\equiv a \mod p $$
- \(p\)と互いに素な整数\(a\)に対して，次が成り立つ． $$ a^{p-1}\equiv 1 \mod p $$
