Properties of the continuous function of closed interval

First, the boundedness theorem of minimum and maximum

Second, the intermediate value theorem Nullstellensatz

2.1 Nullstellensatz

2.2, intermediate value theorem

2.2.1 Inference