Prove that log_a_(x) = 1 / {log_x_(a)}