展开 加法可以用法或法来验算