HSF.BF.B.4.b

(+) Verify by composition that one function is the inverse of another.