性质 6.4.

的解, 的解,则 的解.

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