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