The demonstration above uses the property

which follows from the definition of an indefinite integral.