number(s(X)).
number(s(s(X))):-number(X).