Riemann integrability/Elementary properties/Fact/Proof/Exercise