member3(X,[X|_T]).
member3(X,[_Y|T]):-member3(X,T).
