Sei ${\displaystyle {}p}$ eine ungerade Primzahl. Dann gilt für eine zu ${\displaystyle {}p}$ teilerfremde Zahl ${\displaystyle {}k}$ die Gleichheit

${\displaystyle \left({\frac {k}{p}}\right)=k^{\frac {p-1}{2}}\mod p.}$