p(X) :- p(Y).
%p(0).