member(X,[X|_]).
member(X,[_|T]):-member(X,T).