The lecture notes from the video, in pdf form
Explanation of the theorem and proof (streaming video), Part I
Explanation of the theorem and proof (streaming video), Part II