Countable Subset of Set of Countable Ordinals Has Upper Bound