When you are dealing with an exponential equation, using logarithms has always been the go-to trick, because it gets things out of that exponent where you cannot easily deal with them!

This is a classic proof I first saw decades ago, but that does not reduce its elegance one whit.