Proof that an injection between sets in one direction implies existence of a surjection in the opposite direction - cardinality
There exists an injection from $X$ to $Y$ if and only if there exists a surjection from $Y$ to $X$.