□^{log_[□](△)} ＝△　暗記というかこれは慣れて。

証明の仕方を下に示す。

x^log_[x](y) =z　とおいて両辺の自然対数をとると、
logx^log_[x](y) = logz
log_[x](y) *logx = logz
logy/logx *logx = logz
logy = logz
∴y=z　　　q.e.d.