Logarithm Base 10 of 2 is Irrational

Theorem
The common logarithm of $2$:
 * $\log_{10} 2 \approx 0.30102 \, 99956 \, 63981 \, 19521 \, 37389 \ldots$

is irrational.