f(0#n,a)=a+1　はもっと強くできると思います
f(0#n,a)＝f(a#n)
f(a)＝a+1　　みたいな