theorem Th13: :: NUMBER07:13

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