计算减法的时候，可以用加法验算。