member(Element, [Element|_]).
member(Element, [_|Rest]) :-
        member(Element, Rest).