theorem Th2: :: GLIB_006:2

for n being even Integer
for m being odd Integer st m <= n holds
m + 1 <= n