8/27: pp1--6.
8/29: Lemma 1.10.
8/31: Theorem 1.7 and Theorem 1.12.