Riemann integrability/Elementary properties/Fact