Laws of Logarithms

Theorem
Let $x, y, b \in \R_{>0}$ be strictly positive real numbers.

Let $a \in \R$ be any real number.

Then:

Logarithm of Reciprocal
where $\log_b$ denotes the logarithm to base $b$.