Projection is Surjection

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