Riemann integrability/Elementary properties/Product/Fact/Proof/Exercise