Union of Finite Sets is Finite

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

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