フェルマーの小定理

任意の素数を $p$とするとき、$p$の倍数でない任意の整数 $a$に対し

$$a^{p-1} \equiv 1 \mbox{ (mod }p )$$

が成り立つ。