Bolzano's theorem