Difference of Logarithms/Proof 3