extended mean-value theorem