乘法分配律推导过程