Lemma 13.2
Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 13 Primzahlen/Mersennesche Primzahlen/Exponent ist prim/Fakt
