�ｿｽm�ｿｽ�ｿｽ�ｿｽI�ｿｽf�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ@�ｿｽi�ｿｽt�ｿｽF�ｿｽ�ｿｽ�ｿｽ}�ｿｽ[�ｿｽe�ｿｽX�ｿｽg�ｿｽj
$p$ �ｿｽ�ｿｽ�ｿｽf�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽﾇゑｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽm�ｿｽ�ｿｽ�ｿｽI�ｿｽﾉ費ｿｽ�ｿｽ閧ｷ�ｿｽ�ｿｽt�ｿｽF�ｿｽ�ｿｽ�ｿｽ}�ｿｽ[�ｿｽe�ｿｽX�ｿｽg�ｿｽﾍ以会ｿｽ�ｿｽﾅゑｿｽ�ｿｽ�ｿｽD
(Step 0) �ｿｽﾅ托ｿｽJ�ｿｽ�ｿｽﾔゑｿｽ�ｿｽ狽�ｿｽ $k$ �ｿｽﾆゑｿｽ�ｿｽﾄ，$n=1$ �ｿｽﾆゑｿｽ�ｿｽ�ｿｽD
(Step 1) $x$ �ｿｽ�ｿｽK�ｿｽ�ｿｽ�ｿｽﾉ鯉ｿｽ�ｿｽﾟゑｿｽD
(Step 2) $y=x^{p-1} \bmod p$ �ｿｽ�ｿｽ�ｿｽv�ｿｽZ�ｿｽ�ｿｽ�ｿｽﾄ，$y \ne 1$ �ｿｽﾈゑｿｽ�ｿｽ $p$ �ｿｽ�ｿｽ�ｿｽu�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽv�ｿｽﾆ費ｿｽ�ｿｽ閧ｵ�ｿｽﾄ終�ｿｽ�ｿｽ�ｿｽD
�ｿｽ@�ｿｽ@�ｿｽ@�ｿｽ@�ｿｽ@ $y=1$ �ｿｽﾌ場合�ｿｽC$n$$<$$k$ �ｿｽﾈゑｿｽ�ｿｽ $n\Leftarrow n+1$ �ｿｽﾆゑｿｽ�ｿｽ�ｿｽ(Step 1)�ｿｽﾖ．
�ｿｽ@�ｿｽ@�ｿｽ@�ｿｽ@�ｿｽ@ �ｿｽ�ｿｽ�ｿｽ�ｿｽ $n=k$ �ｿｽﾈゑｿｽﾎ，$p$ �ｿｽ�ｿｽ�ｿｽu�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ轤ｭ�ｿｽf�ｿｽ�ｿｽ�ｿｽv�ｿｽﾆ費ｿｽ�ｿｽ閧ｵ�ｿｽﾄ終�ｿｽ�ｿｽ�ｿｽD�ｿｽ�ｿｽ
�ｿｽ�ｿｽ�ｿｽﾌ費ｿｽ�ｿｽ�ｿｽ@�ｿｽﾉゑｿｽ�ｿｽ�ｿｽﾄ，�ｿｽf�ｿｽ�ｿｽ�ｿｽﾅなゑｿｽ�ｿｽﾉゑｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ�ｿｽ轤ｸ�ｿｽ�ｿｽ�ｿｽ�ｿｽﾄ「�ｿｽf�ｿｽ�ｿｽ�ｿｽv�ｿｽﾆ費ｿｽ�ｿｽ閧ｷ�ｿｽ�ｿｽm�ｿｽ�ｿｽ�ｿｽﾍ，$\frac{1}{4^n}$ �ｿｽﾈ会ｿｽ�ｿｽﾅゑｿｽ�ｿｽ�ｿｽD
$p=$
$x=$�ｿｽC
$n=$
�ｿｽ@ $\Rightarrow$�ｿｽ@