91Ó°ÊÓ

Throughout this segment, all of the numbers represent integers. If two integers differ by a multiple of$pforanyplargerthan1$, we say they are comparable modulo$p$.

The $xy$if the integers $xandy$are equal modulo $p\left(modp\right)$We'll call the lowest nonnegative $yxmodp,wherexy\left(modp\right).$Every number modulo $p$is comparable to a member of the set $Zp=0,...,p1$.

Whenever we state that p satisfies with Fermat test at a, we imply that $a^{P-1}$$\left(modp\right)$

Assuming $p$ satisfies the Fermat test at such $a$ , we can get square roots of $1$since$a^{P-1}$$\mathrm{mod} p=1$, and so$a^{P-1}$$a\left(p_1\right)/2modp$ is a square root of $1$.

They prove first that maybe if $p$his prime, there is no witness, and hence no branch of the algorithm rejects $\left(a{p}_{1}modp\right)6=1$. if a were a stage$4$ witness, and Fermat's little theorem predicts that $p$ is composite