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