How do you prove #log_(b^n)(x^n)=log_(b)x#?