member1(X,[X|T]).
member1(X,[Y|T]):-member1(X,T).
