Proof: log a + log b = log ab