theorem Th24: :: NUMBER07:24

for n being Nat holds
( not n divides 485 or n = 1 or n = 5 or n = 97 or n = 485 )