Text this: Equivalence between Bolzano's and Darboux's theorems.