Prove that a function f is surjective if and only if for all x?\cod(f) we have |f?1(x)|?1.
|f?1(x)|?1