Consider the function .
Then, since ,
Thus, by the theorem 6.2.3, there exists such that , i.e. . Back