5.2.2 减法函数