Exchange of Order of Summations over Finite Sets

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

Let $S, T$ be finite sets.

Let $S \times T$ be their cartesian product.

Also see

 * Exchange of Order of Indexed Summations