Interval/Primitive function/Constant difference/Fact

Let denote a real interval, and let

denote a function. Suppose that and are primitive functions of .

Then is a constant function.