% P4:

p(X,Y) :- p(X,f(Y)).           % C41

g0 :- p(X,X).