.
Step7a.
1. M:= ΨuT.
2. Ω ≡ uT.
3. degHM = degH(ΨΩ) 有上界.
4. (M) 有上界.
5. ass. T ex V.
6. M ex X.
7. Supp M ⊂ Λ.
8. re|H, H - M ample.
注: 1, 2 ==> 3 ==> 4; 5 ==> 6 ==> 7 ==> 8.
.
评论: 1, 2 的来由不清楚. 特别是1, 如何想到的? 又, 2 是怎么得出的?
.
加评: 7 ==> 8 的来由是 H - Λ 丰.(5~7推导不祥?, 但可看做“程式”).
.
小结: Step7a 完成了运用Th1.6的准备.