有余数的除法带验算