Continuous function/R/Intermediate value theorem/Constructive/Section