Sei n ≥ 3 {\displaystyle {}n\geq 3} ungerade und n − 1 = 2 t m für m {\displaystyle {}n-1=2^{t}m{\text{ für }}m} ungerade. n {\displaystyle {}n} ist genau dann eine Primzahl, wenn für jede zu n {\displaystyle {}n} teilerfremde Zahl 0 < a < n {\displaystyle {}0<a<n} gilt
Ist n {\displaystyle {}n} keine Primzahl, so erfüllt höchstens ein Viertel alle Zahlen a {\displaystyle {}a} eine der Bedingungen.