/*1*/ tak(a,b).
/*2*/ tak(a,c).
/*3*/ tak(c,d).
/*4*/ tak(c,e).

/*5*/ pad(X,X).
/*6*/ pad(X,Y) :-
         tak(X,Z),
         pad(Z,Y).
