Es sei p {\displaystyle {}p} eine ungerade Primzahl und M p = 2 p − 1 {\displaystyle {}M_{p}=2^{p}-1} die zugehörige Mersenne-Zahl. Ist q {\displaystyle {}q} ein Primfaktor von M p {\displaystyle {}M_{p}} , so ist