Projection is Surjection

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

Proof
but fairly obvious.