To prove: log_a(u^v) = vlog_au

(a^x)^y ₌ a^xy implies

log_a((a^x)^y) = log_a(a^xy) = xy

Set x = log_au, y = v

log_a((a^logau)^v) = vlog_au

log_a(u^v) = vlog_au