>>158
ありがとうございます．直接的な方は理解できました．

iii)の方は可算無限が濃度最小の無限集合であることの証明と同値だと思いますけれど，
これって自明として良いんでしょうか？