theorem Th13: :: CHORD:13

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