eq(f0(A,B,C,D,E),1,[f7(0,0,F,G,H)],[]).