mean value theorem for functions of several variables
This theorem is used to prove statements about a function on an interval starting from local hypotheses about derivatives at points of the interval.