Lecture 2

这一讲讲到 Corollary 2.8 了。