theorem Th8: :: CHORD:8

for n being odd Nat holds
( not n <= 6 or n = 1 or n = 3 or n = 5 )