>>823
X→Y の全射が存在する ⇔ Y→X の単射が存在する。
対角線論法でどうぞ