theorem Th5: :: CHORD:5

for n being odd Nat st 1 <> n holds
ex m being odd Nat st m + 2 = n