Change of Base of Logarithm/Base e to Base 10/Form 1

Theorem
Let $\log_{10} x$ be the common (base $10$) logarithm of $x$.

Let $\ln x$ be the natural (base $e$) logarithm of $x$.

Then:
 * $\log_{10} x = \left({\log_{10} e}\right) \left({\ln x}\right) = 0 \cdotp 43429 \, 44819 \, 03 \ldots \ln x$

Proof
From Change of Base of Logarithm:
 * $\log_a x = \log_a b \ \log_b x$

Substituting $a = 10$ and $b = e$ gives:
 * $\log_{10} x = \left({\log_{10} e}\right) \left({\ln x}\right)$

The Common Logarithm of e:
 * $\log_{10} e = 0 \cdotp 43429 \, 44819 \, 03 \ldots$

can be calculated or looked up.