Natural Logarithm Function is Differentiable/Proof 2

Theorem
The natural logarithm function is differentiable.

Proof
This proof assumes the definition of $\ln$ as the inverse of the exponential function.

As the Exponential Function is Differentiable, the result follows from the differentiability of inverse functions.