Theorem 2 (Bolzano)
Tag 0BSH, permanent. Cite it as [Bourbaki, Tag 0BSH].
General Topology, chapter IV, § 6. Continuous and semi-continuous real-valued functions
Let be a continuous real-valued function defined on a connected space . If and are any two points of , and if is a real number belonging to the closed interval whose end-points are and , then there is at least one point such that .
For is connected (Chapter I, § 11, no. 2, Proposition 4) and is therefore an interval of (§ 4, no. 2, Proposition 5); hence it contains the closed interval with end-points and .
This theorem is often expressed in the form that a continuous real-valued function on a connected space cannot pass from one value to another without passing through all intermediate values.
This property is by no means characteristic of continuous functions; there are examples of functions defined on a connected space and discontinuous at every point which have this property (Exercise 2).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.