theorem Th10: :: CHORD:10

for n being even Nat st n <= 1 holds
n = 0