theorem Th11: :: CHORD:11

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