Continuous function/R/Intermediate value theorem/Fact/Proof