Offensichtlich tu ich mich auf dieser Plattform mit den Formula schwer. Geschrieben habe ich korrekt: Für eine Primzahl n und eine dazu teilerfremde Zahl a ist [a hoch (n-1)] -1 durch n teilbar.
Das Superscript-Format wurde mir beim Schreiben zwar gezeigt, nach dem Senden aber war es verschwunden. Vielleicht klärt mich da ein Profi auf, wie man hier entsprechend zu verfahren hat. Nach wie vor aber interessiert mich die grundsätzliche Frage des Beweises.
Danke, radix, für deine umgehende Antwort und die Links. Ich gestehe, mein Problem ist, dass mir die dort betriebene Beweisführung offenbar ein wenig zu hoch ist bzw. mein math. Hintergrundwissen über Gebühr strapaziert und mir so manchen Hirnknoten bereitet . Trotzdem vielen Dank.