HS.F.9.b: (+) Verify by composition that one function is the inverse of another.