>>21
{v1,…,vn}を，体Ｋの上のベクトル空間Ｖの元の集合とする．
rを正の整数r≧nとする．{v1,…,vr}が１次独立で，さらに，
i≧rである任意のviに対して，v1,…,vr,viが１次従属であるとき，
{v1,…,vr}は，１次独立な元の極大部分集合であるという．

定理４
{v1,…,vn}をベクトル空間Ｖの生成元の集合とする．
{v1,…,vr}が，１次独立な元の極大部分集合ならば，
{v1,…,vr}は基底である．