ЯкщоP іQ є розділами[a,c] і[c,b], відповідно, то U(f,P)+U(f,Q)=U(f,P∪Q)≥∫baf. Таким чином U(f,P)≥∫baf−U(f,Q), тому \[\int_{a}^{c} f= \...ЯкщоP іQ є розділами[a,c] і[c,b], відповідно, то U(f,P)+U(f,Q)=U(f,P∪Q)≥∫baf. Таким чином U(f,P)≥∫baf−U(f,Q), тому ∫caf=¯∫caf≥∫baf−U(f,Q). Звідси U(f,Q)≥∫baf−∫caf, тому ∫bcf=¯∫bcf≥∫baf−∫caf. Таким чином ∫caf+∫bcf≥∫baf. Аналогічно, якщоP іQ є пе…