theorem Th10: :: NUMBER07:10

for n being Nat holds
( not n divides 6 or n = 1 or n = 2 or n = 3 or n = 6 )