Exchange of Order of Summations over Finite Sets

Theorem
Let $\mathbb A$ be one of the standard number systems $\N, \Z, \Q, \R, \C$.

Also see

 * Exchange of Order of Indexed Summations