6.3.10 模运算的操作与性质