展开 加法可以通过什么运算来验算