$ \log_\beta \alpha \log_\gamma \beta = \log_\gamma \alpha$
proof is given here -in 链式 section
I cannot find this formula's english name(it is not about derivative as its name suggests)nor any version with further explaination except this. I don't understand the first line of proof, please explain. Thanks.