a^(log_a(b)) = b