6.4 抽象线性方程组的求解与证明