4.3.2 对数的运算法则