加法算式可以用加法验算吗