theorem Th25: :: NUMBER07:25

for n being Nat holds
( not n divides 626 or n = 1 or n = 2 or n = 313 or n = 626 )