Cardinality of Cartesian Product/Corollary

Corollary to Cardinality of Cartesian Product
Let $S \times T$ be the cartesian product of two sets $S$ and $T$ which are both finite.

Then:
 * $\card {S \times T} = \card {T \times S}$

where $\card {S \times T}$ denotes the cardinality of $S \times T$.