Für Primzahlen p gilt ap≡a(modp). Für Nichtprimzahlen ist diese Kongruenz in der Regel falsch. Leider gibt es aber Nichtprimzahlen, die den Satz von Fermat erfüllen, wir können also nicht Primzahlen schnell erkennen, indem wir ap(modp) ausrechnen. Hier konstruieren wir eine Reihe von Zahlen, die zusammengesetzt sind, aber den Satz von Fermat erfüllen.
Zeigen Sie: Wenn m eine ganze Zahl ist, so dass 6m+1,12m+1,18m+1 alle prim sind, dann gilt für n=(6m+1)(12m+1)(18m+1) und alle a mit (a,n)=1, dassan−1≡1(modn).