Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Primzahlen/Mersennesche Primzahlen/Exponent ist prim/Fakt/Faktreferenznummer

Lemma 13.2 (Zahlentheorie (Osnabrück 2008))