mod运算性质