整数的运算性质