odd(1).
odd(N) :- odd(M), N is M + 2.
