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