We deduce a simple theorem for integrating inverse functions based on a change of variable that does not require prior knoweldge of their antiderivatives.