標籤: mod运算法则