展开 加法可以用什么法来验算