Natural Logarithm of 1 is 0

Theorem

 * $\ln 1 = 0$

where $\ln 1$ denotes the natural logarithm of $1$.