(+)-F.BF.4b: Verify by composition that one function is the inverse of another.