% P6

p(X) :- p(f(X)).               % C61
p(f(a)).                       % C62

g0 :- p(a).