Bolzano's theorem

Summary