Proof of power rule for logarithms