计算加法时可以用加法验算吗为什么