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

Proof
Let $n$ be the cardinality of $T$.

The proof goes by induction on $n$.

Basis for the Induction
Let $n = 0$.

Induction Step
Let $n > 0$.

Let $t \in T$.

Use Cardinality of Set minus Singleton