数学の証明という理論がわからないです

[0119 １３２人目の素数さん 2021/02/16(火) 13:47:35.95 ID:c/rM9q1s]

>>118
補題:

kを体、Vをk上の有限次元ベクトル空間、W⊂Vを部分空間とする。このとき、Wも有限生成である。