Difference of Logarithms/Proof 2