I came across this yesterday when I was looking for equalities between the sums of two summations. I'm not sure if this is part of a proof or what.