Exchange of Order of Summation with Dependency on Both Indices/Proof