theorem Th3: :: CHORD:3

for n, m being odd Integer st n < m holds
n <= m - 2