Prove simple iterative sum