除法运算性质：a÷b+c÷b=（a+c）÷b
乘法结合律：ab+ac=a（b+c）
分配率：a（b+c）=ab+ac
减法运算性质：a-b-c=a-（b+c）