Prove that "injective function $f:X\to Y$ exists" and "surjective function $g:Y\to X$ exists" is logically equivalent.
It is correct but you have to quote Axiom of Choice for right-to-left implication.
It is correct but you have to quote Axiom of Choice for right-to-left implication.