的减法函数