自分の持っている同じ本には、線型空間の基底の証明辺りで連立一次方程式は出てこないんだけどな
多分補題1.2.1の周辺になると思うんだけど、本当に使ってる？
持っていないなら、どこかでそう書かれているのかな？