Es sei n {\displaystyle {}n} eine natürliche Zahl und a {\displaystyle {}a} eine zu n {\displaystyle {}n} teilerfremde Zahl. Dann gibt es unendlich viele Primzahlen, die modulo n {\displaystyle {}n} den Rest a {\displaystyle {}a} haben.