>>24
B=(b1,...,bn) で列ベクトル b1,...,bn を定義する。
b1,...,bs が線形独立なのはさすがにいいよな？
bs+1,...,bn のうちどれも b1,...,bsの線形結合で表すことができるから
これらは線形従属。よって線形独立な列ベクトルの個数はs。

その本持って無い俺でもBの形からすぐわかるんだが