>>445
U_0が有限集合でも無限集合でも考え方は変わらない。
Ｕ_0∪{ｘ}は１次独立でないというのは、Ｕ_0∪{ｘ}から
ある有限個の元を取り出して1次結合を作ると、和が0になる
係数が全て0でない組み合わせがあるということなので、
その組み合わせを取り出した後からは>>443とほぼ同じ。