Prove simple iterative sum

see above