Wir bezeichen mit die Zahl 11...1, die aus Einsen besteht. Sei der Rest von bei Division durch . Die Schwierigkeit dieser Aufgabe liegt darin, dass unbekannt ist und somit kann man nicht berechnen. Hier ist die Schlüsselidee: man kann nicht berechnen, aber man weiß sicher, dass . Also ist die Menge endlich. Somit existieren mit , sodass (siehe auch Fakt.)
Dies bedeutet, dass
ein Vielfaches von
ist. Was ist nun
? Wo verwendet man hier die Voraussetzung, dass
eine Primzahl ist?