P.F.BF.A.5.b: Verify by composition that one function is the inverse of another.