extended_mean_value_theorem