Started an outline of the proof