元の式抜きでも、
b^ln(a) = a^ln(b)
これ単体でもマジかよと電卓で確認したくなるほどインパクトある