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