Primitive function/Inverse function/Fact

Primitive function the inverse function

Let denote a bijective differentiable function, and let denote a primitive function for .

Then

is a primitive function for the inverse function

.