How to find inverse relations and prove two functions are inverses.