M.4HSTP.21.a: Verify by composition that one function is the inverse of another.