求问算法导论中一个非常简单的对数问题

求问算法导论中一个非常简单的对数问题。额，各位不要笑话啊。

请问这两个对数是如何推出相等的啊，用的是哪个公式啊？
只记得这个公式了....

\begin{align}
\ln(3^{log_4^n}) & = ln(n^{log_4^3})\
\log_4^n\cdot ln(3) & = log_4^3\cdot ln(n)\
\frac{ln(n)}{ln(4)}\cdot ln(3) & = \frac{ln(3)}{ln(4)}\cdot ln(n)
\end{align}