theorem Th50: :: NUMBER03:50

for k, n being Nat
for p being odd Prime st n = (p - 1) * ((k * p) + 1) holds
p divides CullenNumber n