eq(f0(A,B),1,[f7(1,1)],[]).