Derivative of Logarithm at One/Proof 2