Permutation of Indices of Summation/Proof