Now we will show that a Darboux integrable function satisfies the first definition.
其次我们证明达布积分的定义满足第一个定义。