Reciprocal of Logarithm

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

Then:
 * $\dfrac 1 {\log_x y} = \log_y x$