Eine natürliche Zahl n {\displaystyle {}n} ist genau dann eine Primzahl, wenn es eine natürliche Zahl 0 < a < n {\displaystyle {}0<a<n} gibt mit
für alle Primteiler q {\displaystyle {}q} von n − 1 {\displaystyle {}n-1} .