theorem Th21: :: NUMBER05:21

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