Sum of Logarithms/Natural Logarithm/Proof 2