Union of Finite Sets is Finite/Proof 2

Proof
Note that $\card {S \cup T} \le \card {S \times T}$ by Cardinal of Union Less than Cardinal of Cartesian Product.

The theorem follows from the fact that $S \times T$ is finite by Product of Finite Sets is Finite.