I constructed a general proof of this years ago . . .Show that: .
Square both sides: .
Take logs (base ): .
Since , we have: .
Equate  and : .
In baby-talk: "If we square the base, double the log."
And this can be generalized: "Cube the base, triple the log", etc.