Problem 151 (difficulty: 6/10)
Prove that if an ordered field satisfies the completeness theorem, then the Cantor axiom holds.