展开 加法能用加法验算吗