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 clarify the question of existence of 'forward implied variance' in the original derivation of Gatheral, who introduced this implied volatility representation in his book 'The Volatility Surface'.