Projection is Surjection

Theorem
For two non-empty sets $S$ and $T$, the first projection and second projection are both surjections.

Proof
Let $S$ and $T$ be sets such that neither is empty.

Let $\operatorname{pr}_1: S \times T \to S$ be the first projection on $S \times T$.

Then by definition of first projection:
 * $\displaystyle \forall x \in S: \exists \left({x, t}\right) \in S \times T: \operatorname{pr}_1 \left({\left({x, t}\right)}\right) = x$

Similarly, let $\operatorname{pr}_2: S \times T \to T$ be the second projection on $S \times T$.

Then by definition of second projection:
 * $\displaystyle \forall x \in T: \exists \left({s, x}\right) \in S \times T: \operatorname{pr}_2 \left({\left({s, x}\right)}\right) = x$

Hence the result.