Preimages All Exist iff Surjection

Theorem
Let $f: S \to T$ be a mapping.

Let $f^{-1}$ be the inverse of $f$.

Let $f^{-1} \paren t$ be the preimage of $t \in T$.

Then $f^{-1} \paren t$ is empty for no $t \in T$ $f$ is a surjection.