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,