Verify algebraically thatis the inverse function of .

Substitute for in , then simplify. The result should be .