Derivative of General Logarithm Function/Proof