theorem Th4: :: CHORD:4

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