Exercise 1.3 The logarithm y = log_a x is the inverse function of y = a^x.

That is, y = a^x if and only if x = log_a y. Using this relation and Proposition 1.1, prove that Proposition 1.2 holds.