where is the derivative of evaluated at some point is an interval containing , and .
If we set
(7.1) becomes
where
and
Alternatively, (7.2) can be written as