theorem Th33: :: NUMBER10:33

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