The demonstration above uses properties #1, #5 and #6

from the Table of Elementary Indefinite Integrals.