% myMember(E,L): beweisbar, falls E in der Liste L enthalten ist
%myMember(E,[E|_]).
%myMember(E,[_,E|_]).
%myMember(E,[_,_,E|_]).
%...
% falls E das erste Element ist:
myMember(E,[E|_]).
% oder in der Restliste enthalten ist
myMember(E,[_|R]) :- myMember(E,R).
