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