有余数的除法的验算格式