+(x,0()) -> x
mult(x,0()) -> 0()
+(x,s(y)) -> s(+(x,y))
mult(x,s(y)) -> +(mult(x,y),x)