sodo(succ(Y)) :- liho(Y).
liho(succ(X)) :- sodo(X).
sodo(zero).
