eq(f4(A,B),1,[f300(A,C)],[0>=A+1]).
eq(f4(A,B),1,[f300(1+A,C)],[A>=0]).