For a step function prove that

* Proof. * Let be a partition of and be a partition of such that is constant on the open subintervals of and . Then, let so is a partition of and is constant on the open subintervals of . Then, let . Then,