and thus we have the corresponding logarithmic equation:
$\ln(y)=ax= \ln(base) \cdot \log_{base}(y)$.
Here's what that looks like on a mapping diagram:
And here's a mapping diagram showing the product of the logarithms visualized as well:
Finally here is a dynamic visualization of the proof using mapping diagrams: