较强形式的牛顿—莱布尼兹公式

用完全覆盖定理,函数左、右导数,上、下确界定义给出牛顿-莱布尼兹公式的一个较强形式及证明。