The proof of such logarithm exchange formula
∵ Logan = B → a ^ B = n ∵ logmn = logm (a ^ b) ∵ logm (a ^ b) / logma ∵ logm (a ^ b) = B · logma ∵ logmn / logma = B · logma / logma = B, that is, Logan = logmn / logma = B
∵ Logan = B → a ^ B = n ∵ logmn = logm (a ^ b) ∵ logm (a ^ b) / logma ∵ logm (a ^ b) = B · logma ∵ logmn / logma = B · logma / logma = B, that is, Logan = logmn / logma = B