Prove that for step function defined on an interval and for constants , we have

In Apostol, this is Theorem 1.4.

* Proof. * By the additive property of the integral of step functions we know

Then, by the homogeneous property (Theorem 1.3 in Apostol) we know