theorem Th22: :: NUMBER07:22

for n being Nat holds
( not n divides 325 or n = 1 or n = 5 or n = 13 or n = 25 or n = 65 or n = 325 )