Cauchy's mean value theorem