Logarithm of Base

Theorem
Let $b \in \R_{>0}$ such that $b \ne 1$.

Then:
 * $\log_b b = 1$

where $\log_b$ denotes the logarithm to base $b$.

Proof
Let $a \in \R_{>0}$ such that $a \ne 1$.

Then: