Before revision:  With this proof we fix the problem of a circular definition in the original derivation of Gatheral, who introduced this implied volatility representation in his book 'The Volatility Surface'.
After revision:  With this proof we fix the problem of a circular definition in the original derivation of Gatheral, who introduced this representation in his book 'The Volatility Surface'.