The paper with some explanation about the proof is here: http://arxiv.org/pdf/1308.4526v4.pdf