Cauchy's_mean-value_theorem