section continuity and differentiability of the article derivative.)
* The differentiability of can be relaxed to one-sided differentiability, a proof is given in the article on semi-differentiability.Theorem 2: If for all in an interval of the domain of these functions, then is constant, i.e. where is a constant on .

Proof: Let , then on the interval