The demonstration above uses the property
which follows from the definition of an indefinite integral.
It also uses property #2
from the Table of Elementary Indefinite Integrals.
