iki>"a", "b")，其中 "a" < "b"。又设 "α"、"β" 和 "u" 为定义在 "I" 上的实数值的函数。假设 "β" 和 "u" 是连续的，则有：注意：
证明.(a) 定义则运用复合函数求导法则中的乘积法则、链式法则、指数函数的求导法则以及微积分基本定理，可以得到：由于注意到括号中的部分小于 "α"，可以得到相应的不等式，并进行积分。由于函数 "β" 以及其指数都是非负函数，不等号保持不变。然而 "v"("a") = 0，因此积分式等价于：再运用