lim_{t → b-0, s → a+0} ∫_{s}^{t} f(x) dx

が存在するならば

lim_{s → a+0} ∫_{s}^{c} f(x) dx

および

lim_{t → b-0} ∫_{c}^{t} f(x) dx,

が存在することの証明はどうやるのでしょうか？