verifying inverse functions