Sei n ∈ N. Es gelten n > 1 und (n−1)! ≡ −1 mod n.
Zeigen Sie, dass n dann eine Primzahl ist.
Gäbe es eine Zahl n wie oben vorausgesetzt, die keine Primzahl ist, dann wäre n=ab mit 0<a,b<n eine mögliche Faktorisierung von n. Ist nun a≠b, dann folgt sofort n|(n-1)! als Widerspruch zur Voraussetzung. Es bleibt noch die Möglichkeit a=b zu untersuchen, bei der n eine Quadratzahl ist.