PC.RFR.BF.6: Verify by analytical methods that one function is the inverse of another.