%
% standard functions on integers
%


X+0=X.
X+s(Y)=s(X+Y).

-0=0.
-s(X)=p(-X).

X-Y = X+ (-Y).

1=s(0).

X*1=X.
X*s(Y)=X+X*Y.