theorem Th34: :: NUMBER10:34

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