theorem Th12: :: CHORD:12

for n being even Nat holds
( not n <= 5 or n = 0 or n = 2 or n = 4 )