定理:

kを体、Vを有限生成ベクトル空間とする。
Vの基底の濃度は、取り方によらず一定である。