Use the Cauchy Criterion to prove the Bolzano–WeierstrassTheorem, and find the point in the argument where the ArchimedeanProperty is implictly required. This establishes the final link inthe equivalence of the five characterizations of completenessdiscussed at the end of Section 2.6.
