If I expand this algebraically, I can see it
But I'm having trouble understanding the proof as given by the text and wikipedia, in particular the interchange of the order of summation
Then we interchange the order of summation
This step, I do not understand. Given that does not appear in the summation of , how am I supposed to expand this?