Kontraposition:
Sei n zusammengesetzt etwa n=a*b
Dann ist 2^n = (2^a)^b
Setze jetzt x=2^a und n=b in die Gleichung in (a) ein, dann sieht man sofort, dass 2^a-1≠1 (da a>1) ein nichttrivialer Teiler (da n>a) von 2^n-1 sein muss. Also ist 2^n - 1 keine Primzahl.