展开 有余数的商不变性质