短除法的定义