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