加法可以用减法来验算也可以用什么法来验算