Exponential of Product/Proof 1

Proof
Let $Y = \exp y$.

From Exponential of Natural Logarithm:
 * $\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$