How To Verify Two Functions Are Inverses