Proof_ A(log B) = log (B^A), log A - log B = log (A_B).flv