How is Bolzano's theorem related to the intermediate value theorem?