向量组B能由向量组A线性表示
<=> B 可由 A 的极大无关组线性表示
<=> A 的极大无关组 也是 (A,B)的极大无关组
<=> r(A) = r(A,B)