请参见达布定理对于符号、配方和意义。
假设给我们一个中间产物价值 年.我们必须展示f'（c）=y对一些人来说a<=c<=b。定义 g（x）=f（x）-y*x.然后克也是一个可微分的 功能、和g'（x）=f'（x.如果我们假定 f'（a）<f'（b）（另一种情况是绝对的对称的)，那么这意味着g’（a）<0<g’（b）。
所以我们知道克是本地的减少在一个正确的 街区属于一和本地增加的在一个左边邻里b条尤其是，两者都不是一也不是b条可以是最低限度属于克。但是自从间隔[a、 b]是关闭和有界的，我们知道克达到最低限度指向我们会打电话的c（c）.自c（c）在中(a、 b)，我们知道g’（c）=0，或f'（c）=y。
量化宽松政策。