>>489
>線形代数の教科書でベクトル空間の基底の存在の証明
有限次元なら自明、任意のならつりかな?