Nの空でない部分集合から、
その最小元を選択することができるからといって、
可算選択公理が証明できるわけではない（笑）