Riemann integrability/Elementary properties/Fact/Proof2