If a is an endpoint of I, the proof is similar. We would need to replace the limits above with the appropriate right-hand limits or left-hand limits.