Exponential of Product

Theorem
Let $$x, y \in \R$$ be real numbers.

Let $$\exp x$$ be the exponential of $x$.

Then:
 * $$\exp \left({x y}\right) = \left({\exp y}\right)^x$$

Proof
Let $$Y = \exp y$$.

From the definition of the Basic Properties of Exponential Function, $$\ln \left({\exp y}\right) = y$$.

From Logarithms of Powers, we have $$\ln Y^x = x \ln Y = x \ln \left({\exp y}\right) = x y$$.

Thus $$\exp \left({x y}\right) = \exp \left({\ln Y^x}\right) = Y^x = \left({\exp y}\right)^x$$.