Lemma. Let , and suppose that is bounded on . Let be a partition of , and let . Then there exist Riemann sums and such that and .

Proof.By definition, and . Now and . Let . Then there exists such that .

Thus . If we choose as the test points, then it follows that . The other case follows similarly.

Is this correct?