展开 有余数的商不变的性质