Let be differentiable on a connected set , then for any , there exists such that .
Proof: The trick is to use the Mean Value Theorem for 1 dimension via the following construction:
Define , . By the Mean Value Theorem for one variable, there exists such that , i.e.
. Here we are using the chain rule for multivariable calculus to get: .
Let , then as required.