线性方程组相容性定理

• compatibility theorem for systems of linear equations