Real function/Theorem of Rolle/Fact/Proof

Proof

The statement is true if is constant. So suppose that is not constant. Then there exists some , such that . Let's say that has a larger value. Due to fact, there exists some , where the function attains its maximum. This point is not on the border. For this , we have , due to fact.