General Logarithm/Examples/Base b of 1

Theorem
Let $b \in \R_{>0}$ be a strictly positive real number such that $b \ne 1$.

Let $\log_b$ denote the logarithm to base $b$.

Then:
 * $\log_b 1 = 0$

Proof
By definition of logarithm: