暂时搁置我们可以通过运算律推出来算数代数