theorem Th32: :: NUMBER10:32

for m being non zero Nat st (6 * m) + 1 is prime holds
(6 * m) + 1 = LP<=6n+1 m