乘法的运算法则有哪些性质