Both proofs involved what is known today as the Bolzano–Weierstrass theorem (Rusnock & Kerr-Lawson 2005).
両証明は今日ボルツァーノ・ヴァイエルシュトラスの定理として知られるものと関係する(Rusnock & Kerr-Lawson 2005)。