算法基础-模运算性质