除法的性质(商不变)