Mean value theorem/First out of second/Exercise

Prove the mean value theorem out of

the second mean value theorem.

Create a solution