6.3.9 模运算