Linearity of definite integral lemma
Monotonicity of definite integral lemma
Summation of definite integrals lemma
Absolute value of definite integral lemma
Continuous function is Riemann-integrable theorem
Bounded function with a finite number of discontinuities is Riemann-integrable theorem