>>826
＞X→Y の全射が存在する ⇔ Y→X の単射が存在する
はよく知られている事実だが、今は関係ない。まぁ使おうと思えば使えなくもないのかもしれないが。
対角線論法によって証明すればよいということ。>>825のように