Yes, as Kummer said, it is Integral calculus's counterpart of The Chain Rule from Differential Calculus. Courant's treatment of Calculus, Volume 1, has a nice proof wish I will post because I'm nice =] Just note from this point on, the following is not my own work.
----------------------------------------------------
We suppose that a new variable u is introduced into a function F(x) by means of the equation [itex]x=\phi (u)[/itex] so that F(x) becomes a function of u:
[tex]F(x) = F( \phi (u) ) = G(u)[/tex].
By the chain rule of differential calculus:
[tex]\frac{dG}{du} = \frac{dF}{dx} \phi ' (u)[/tex].
If we now write
[tex]F'(x) = f(x) \mbox{and} G'(u) = g(u)[/tex], or the equivalent expressions [tex]F(x) = \int f(x) dx \mbox{and} G(u) = \int g(u) du[/tex]
then on one hand the chain rule takes the form [tex]g(u) = f(x) \phi ' (u)[/tex]
and on the other hand [itex]G(u) = F(x)[/itex] by definition, that is,
[tex]\int g(u) du = \int f(x) dx[/tex], and we obtain the integral formula equivalent to the chain rule: [tex]\int f( \phi (u)) \phi '(u) du = \int f(x) dx , {x=\phi (u)}[/tex].
----------------------------------------------------------
Trig substitution is merely the case where the substitution happens to be a trigonometric function.