Laws of Logarithms

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

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

Let $\log_a$ denote the logarithm to base $a$.

Then: