This is LaTeX code:
[latex]
mult(y+1,x) = (y+1)\cdot x = y\cdot x + x = H(mult(y,x),y,x)
[/latex]