Derivative of Natural Logarithm Function

Theorem
Let $\ln x$ be the natural logarithm function.

Then:
 * $\map {D_x} {\ln x} = \dfrac 1 x$