Is it true that if $f$ is surjective from $A$ to $B$ then there is an injective function $g$ from $B$ to $A$?
Prove that "injective function $f:X\to Y$ exists" and "surjective function $g:Y\to X$ exists" is logically equivalent.