This is an in-mail from TYUST.

本期开始加开窗口，推出科学网特色博主，有用链接等。

今日博主：徐令予李颖业张忆文林中祥 张云 李学宽武夷山 宁利中 蒋迅 蒲亨建 刘全慧 谢力Grothendieck 韩健 毛宏王庆浩尤明庆张操曾新林文克玲蔡宁吕洪波杨正瓴彭真明蒋继平姬扬徐耀刘钢刘全生吕喆 王鸿飞 马臻 刘进平 赵美娣 鲍永利 戴世强 周涛 刘洋 邢志忠 曾泳春郭景涛郑永军（保留若干神秘博主）

...先把所有的引理、命题、定理摘录出来。

.

（接上回*）Proof. (of Theorem 1.5) This follows by combining Theorem 1.6, Lemma 3.3, and Proposition 3.4.

评论：一句话就证明完了，该定理或是个“壳”(?)。

.

温习：定理1.5的表述：KWF(A) + lct1 ==> lct(|A|)=lct(D)。注：lct1是指lct(X,B,|A|R)≤1。

大话：起个名字“弱咖·圆盘中值定理”。注意：A := -(Kx + B)，自带的“扩副”。 

.

温习：定理1.6的表述：（略。提示：花费控制定理。注意：配对是“projective eps-lc”的）

.

预习：引理 3.3 的表述：假定定理1.6成立，则 KWF(A) + lct=1 ==>lct(|A|)=lct(D).

预习：.................................命题 3.4 的表述： KWF(A) + lct<1 ==>lct(|A|)=lct(D).

注：此处的两个陈述是定理1.5的分解，分别命名为：单位圆中值定理、圆盘内中值定理。

.

小结：完成Th1.5的证明。（成就：给KWF制定了绰号——弱咖）。

* * *

之前理出了文章中各“节点”的“调用关系”，帮助看清整体结构。目前这篇文章，30来页，相当于“光明顶之最后的拼杀”。另一篇文章，60来页，相当于大本营，做了先期准备（最终派出四大定理前往“光明顶”会战）。现在的“纲领”是，先把当前文章的“节点”摸个遍、建立全貌，进而“了熟于心”（之后再深入证明和基础）。做法上，仍然执行“回到顶端”的路线（即“倒着走”）。