theorem Th19: :: NUMBER07:19

for n being Nat holds
( not n divides 122 or n = 1 or n = 2 or n = 61 or n = 122 )