Search results for: 'function composition to prove inverse'