# Talk:Change of Index Variable of Summation

I don't think this requires a proof, as will become clear once we have formally defined $\sum$ at Definition:Summation. --barto (talk) 04:13, 19 October 2017 (EDT)