In proving, we will use the connection between the logarithm notation and exponent notation. Recall in the previous post that if and only if .
Let and .
In exponent notation, these are equivalent to and .
Getting the logarithm of both sides, we have
which means that
But and .
Therefore, . .