什么是反函数必定存在的条件