4.1.2 减法运算