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