性质 6.1. 加法封闭

是齐次线性方程组 (6.4) 的两个解,则 也是它的解.

\begin{proof} ,可得 . \end{proof}