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