三宅敏恒著『線形代数学』を読んでいます。

この本、有限次元線形空間の部分空間に基底が存在することを書いていませんね。

書いていませんが、この事実を使っています。