Riemann integrability/Elementary properties/Fact/Proof2

Proof

For (1) to (4) see exercise. For (5) see exercise. (6) follows directly from (5), because of ${}\vert {f}\vert ={\max {\left(f,-f,\right)}}$. For (7), see exercise.

To fact