\[a^{\log_h{c}} = a^{\log_h{a}} \implies \log_h{(a^{\log_h{c}})} = \log_h{(a^{\log_h{a}})} \implies \log_h{c} \cdot \log_h{a} = \log_h{a} \cdot \log_h{c} \quad \forall a,h,c \neq 1\]
Essendo h > 0 e h =/= 1
riporto a base h
(h^log_h a)^log_h c a sinistra c'é h^(log_h a * log_h c)
(h^log_h c)^log_h a a destra c'é h^(log_h c * log_h a)
Essendo il prodotto ad esponente commutativo, sono uguali