除法商不变性质
发布人