>>443
Ｕ_0は有限とは限らないので
＞Ｕ_0＝{ｕ_1、ｕ_2、…、ｕ_n}
とはできない。
その他の考え方は概ね問題ないが、
＞ｔ_(n+1)＝０とすると、ｔ_i＝０となり、Ｕ_0∪{ｘ}は１次独立となりＵ_0の極大性に矛盾
ここの書き方はちょっと変というか、遠回りしてる。 ∃ｔ_ｉ≠０に触れるほうがスマートかと。
丁寧さを求めるならｔ_i＝０となる理由にも触れたほうがよい。