theorem Th23: :: NUMBER07:23

for n being Nat holds
( not n divides 362 or n = 1 or n = 2 or n = 181 or n = 362 )