定理 6.1. 有解的充要条件

线性方程组 (6.3) 有解的充要条件为向量 可以由向量组 , 线性表出.