Showing the path from one form to another is a proof. It is unfortunate that my answer is not good enough for you.
Why did I setup the first line of my problem like so?
This comes from a log property:
In this case, hence why the 2nd term in my 1st line is a reciprocal of what is being logged in your 2nd equation.