theorem Th20: :: NUMBER07:20

for n being Nat holds
( not n divides 145 or n = 1 or n = 5 or n = 29 or n = 145 )