>>604
a[n]+4=(a[n]+1)+3