Finite Product of Finite Sets is Finite

Theorem
Let $\sequence {S_n}$ be a sequence of finite sets.

Let $\displaystyle \prod_{k \mathop = 1}^n S_k$ be their Cartesian product.

Then $\displaystyle \prod_{k \mathop = 1}^n S_k$ is also a finite set.