新年第一个证明，舒服。

受不了“可见”这俩字。逻辑通顺的感觉，舒服。 高等代数 p13