Es sei p {\displaystyle {}p} eine Sophie-Germain-Primzahl, q = 2 p + 1 {\displaystyle {}q=2p+1} . Zeige, dass q {\displaystyle {}q} ein Teiler von M p + 2 = 2 p + 1 {\displaystyle {}M_{p}+2=2^{p}+1} genau dann ist, wenn q = ± 3 mod 8 {\displaystyle {}q=\pm 3\mod 8} ist.
