theorem Th23: :: NUMBER09:23

for p, q being Prime st p is odd & q divides Mersenne p holds
ex k being Nat st q = ((2 * k) * p) + 1