@blatherwick_sam Something like:
Suppose x=a^m and y=a^n.
Then xy=a^(m+n) .
And log xy = m+n = log x + log y.
Whether that's a "proof" in that it says something you didn't already know is debatable.