Bolzano's theorem


Bolzano's theorem is a theorem.