The Bolzano-Weierstrass theorem