Let and . Then we can verify the following lows of logarithms:

Change of base. By (2) observe that implies . Taking in the both side of the equation , we have . This implies that