展开 用加法可以验算加法吗