3.2 线性方程组的相容性定理