numeral(0).

numeral(succ(X)) :- numeral(X).

% numeral(X).