フェルマーの小定理（$p$ が素数 $\Rightarrow$ $a^{p-1} \bmod p=1$）
$p=$
$p=$
注意：$p$ が合成数の場合，任意の $1<$$a$$<$$p$ に対して，$a^{p-1} \bmod p=1$ となる確率は $\frac{1}{4}$ 以下．
$\Rightarrow$ $a$ を色々変えて，$p$ が素数かどうかを確率的に判定可能 $\Rightarrow$ フェルマーテストという．