>>795
V の生成系に属する元の数 ≧ V の線型独立系に属する元の数
V の線型独立系に属する元の数の上限 ≧ W の線型独立系に属する元の数の上限
W の線型独立系に属する元の数の上限 = W の生成系に属する元の数の下限 (= dim W)
を用いる。