减法的验算可以用加法,也可以用除法对吗?