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