Product of Finite Sets is Finite

Theorem
Let $S$ and $T$ be finite sets.

Then $S \times T$ is a finite set.