Primitive of x cubed by Root of x squared plus a squared

Theorem

 * $\displaystyle \int x^3 \sqrt {x^2 + a^2} \ \mathrm d x = \frac {\left({\sqrt {x^2 + a^2} }\right)^5} 5 - \frac {a^2 \left({\sqrt {x^2 + a^2} }\right)^3} 3 + C$

Proof
Let: