eq(f0(A,B),1,[f5(C,C)],[]).