\( a \gt 0 \cap a\neq 1 \) if \( a^x = b \Leftrightarrow \log_ab = x\)

---