mean value theorem of the differential calculus