theorem (also known as Bolzano's theorem). Today he is mostly remembered for the Bolzano–Weierstrass theorem, which Karl Weierstrass developed independently...