TAG:反函数存在的条件