商不变的性质1