4.4 引入减法