java取模运算定律