Intermediate value theorem/Existence of roots/2/Remark