Sum of Logarithms/General Logarithm/Proof 1