用减法来验算