Proof: log_a (B) = (log_x (B))/(log_x (A))