Sum of Logarithms/Natural Logarithm

Theorem
Let $x, y \in \R$ be strictly positive real numbers.

Then:
 * $\ln x + \ln y = \map \ln {x y}$

where $\ln$ denotes the natural logarithm.