乘法分配律和减法的性质