对数运算的推论怎么写