用了什么运算定律