Sketch of the proof