Difference of Logarithms/Proof 1