�ｿｽt�ｿｽF�ｿｽ�ｿｽ�ｿｽ}�ｿｽ[�ｿｽﾌ擾ｿｽ�ｿｽ阯晢ｿｽi$p$ �ｿｽ�ｿｽ�ｿｽf�ｿｽ�ｿｽ $\Rightarrow$ $a^{p-1} \bmod p=1$�ｿｽj
$p=$
�ｿｽ�ｿｽ�ｿｽﾓ：$p$ �ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽﾌ場合�ｿｽC�ｿｽC�ｿｽﾓゑｿｽ $1<$$a$$<$$p$ �ｿｽﾉ対ゑｿｽ�ｿｽﾄ，$a^{p-1} \bmod p=1$ �ｿｽﾆなゑｿｽm�ｿｽ�ｿｽ�ｿｽ�ｿｽ $\frac{1}{4}$ �ｿｽﾈ会ｿｽ�ｿｽD
$\Rightarrow$ $a$ �ｿｽ�ｿｽF�ｿｽX�ｿｽﾏゑｿｽ�ｿｽﾄ，$p$ �ｿｽ�ｿｽ�ｿｽf�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽﾇゑｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽm�ｿｽ�ｿｽ�ｿｽI�ｿｽﾉ費ｿｽ�ｿｽ�ｿｽﾂ能 $\Rightarrow$ �ｿｽt�ｿｽF�ｿｽ�ｿｽ�ｿｽ}�ｿｽ[�ｿｽe�ｿｽX�ｿｽg�ｿｽﾆゑｿｽ�ｿｽ�ｿｽ�ｿｽD