展开 加法可以用减法验算还可以用什么验算