Mathematics for Applied Sciences (Osnabrück 2023-2024)/Continuous function/R/Intermediate value theorem/0-version/Fact/Factreferencenumber