https://github.com/pllk/cphb/blob/master/chapter03.tex#L89 n-1 -> n-1-i
https://github.com/pllk/cphb/blob/master/chapter03.tex#L89
n-1 -> n-1-i