为什么减函数-增函数=减函数