Exchange of Order of Summations over Finite Sets/Cartesian Product/Proof 1