suma(0,Y,Y).
suma(s(X),Y,s(Z)) :- suma(X,Y,Z).
