减法的验算与估算