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