% infe/2

infe(zero,s(N)) :- nat(N).
infe(s(A) , s(B)) :- infe(A,B).