加减法的验算[1]