设 我们可以证明对数的运算性质如下： .我们将 式称为证明的“关键步骤”.则证明 （其中 ）的“关键步骤”为.