% rewrite(i,o).
rewrite(f(f(X)),Y):- rewrite(f(X),Y).
rewite(f(0),s(0)).
rewrit(0,0).