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