State and prove the Intermediate Value Theorem.
Suppose that the function is differentiable everywhere in some open interval containing , and that . By considering the functions and defined by
or otherwise, show that there is a subinterval such that
Deduce that there exists with . [You may assume the Mean Value Theorem.]