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