9-6-2　一般对数的微分证明