This is LaTeX code:
[latex]
fact(y+1) = (y+1)*fact(y) = H(fact(y),y)
[/latex]