减法的验算