proof of the mean value theorem.mp4