Integration by Inversion

Theorem

 * $\ds \int_0^{+\infty} \map f x \rd x = \int_0^{+\infty} \dfrac {\map f {\frac 1 x} } {x^2} \rd x$