theorem Th16: :: NUMBER07:16

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