prod(s(X0),X1) = sum(prod(X0,X1),X1) prod(0,X0) = 0 sum(0,X) = X sum(s(Y),X) = s(sum(Y,X))