Mersenne Zahlen zu Germain Primzahlen/q als Primteiler/Charakterisierung/Fakt/Beweis

Beweis

Es ist ein Teiler von genau dann, wenn in ist. Wegen ist dies nach dem Euler-Kriterium genau dann der Fall, wenn ein Quadratrest modulo ist. Dies ist nach dem zweiten Ergänzungssatz genau bei der Fall.