The demonstration above uses properties #1, #5 and #6
from the
Table of Elementary Indefinite Integrals
.