Exchange of Order of Summation over Cartesian Product of Finite Sets