>>824
レスありがとうございます。
よく分からないのですが、X→Y の全射が存在する ⇔ Y→X の単射が存在する
ということを対角線論法でいうのですか？それともそれを使って
問題を証明するのですか？