PC.FBF.4a: Use composition to verify one function is an inverse of another.