Laws of Logarithms

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

Let $a \in \R$ be any real number such that $a > 0$ and $a \ne 1$.

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

Then: