.
Step5b
1. Γv = I - J. e.ncc.
2. I ≤ Λ.
3. degHI ≤ degHΛ.
4. degHI 有上界.
5. degHJ 有上界.
6. (J) 有上界.
注: (-J) 有下界.
7. (D) 在 Γv 中有下界.
8. (Ωv) 有下界.
注: 2? ==> 3 =?=> 4 ==> 5 ==> 6 ==> 7 ==> 8.
.
评论: 1 中 Γv 写成两部分的差.
---- 可看做将分量按系数的正负分为两组.
---- 系数为负的,统一提出负号.
---- 于是可以假定 I, J 都是正系数.
.
评论: Step5a 的落点是 degHΓv 有下界.
---- degHΓv = degHI - degHJ.
---- 左端有下界, 第一项非负且有上界 ==> degHJ 有上界 (否则与左端有下界矛盾).
---- 第一项是否有上界似乎无关紧要.(?)
.
疑问: degHΛ 有上界吗? (参 3 ==> 4).
.
评论: 可以认为 D 是 -J 的一部分.(?)
---- 由此 (-J) 有下界, 意味着 (D) 有下界.
.
评论: 8 显得突兀.
---- Ωv 和 D 或 Bv 的关系待考.(?)
.