我们一般用什么方法来验算减法?