Continuous function/R/Intermediate value theorem/0-version/Fact