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

Also written as F-BF.4.b, F-BF.4b or F.BF.4.b