P.F-BF.B.4.b: Verify by composition that one function is the inverse of another.