fof(sep_test,conjecture,![Xx]:(elem(Xx,fX)<=>(elem(Xx,fX)&Xx=Xx))).