Prove simple iterative sum

debug statement?