theorem Th6: :: CHORD:6

for n being odd Nat st n <= 2 holds
n = 1