Sum of Integrals on Adjacent Intervals for Integrable Functions/Lemma/Proof 1

Proof
This is an instance of Lower Sum of Refinement.