Inverse Function Integral Theorem

A theorem I wrote describing how improper integrals of some functions can be expressed as proper integrals of inverses of these functions, with constraints to the integrand function.