Continuous Function/Primitive function exists/Fact

Let denote a real interval, and let

denote a continuous function.

Then has a primitive function.