The demonstration above uses properties #1, #2 and #3

from the Table of Elementary Indefinite Integrals.