Prove simple iterative sum (not ready for review yet)