Interval/Primitive function/Constant difference/Fact/Proof

Proof

We have

Therefore, due to fact, the difference is constant.