tldr.md

总之向量组相关的定理和推论什么的都可以通过将向量组组合成矩阵，再由矩阵的秩、齐次线性方程组之类的已知结论证明，因为太多太杂来不及整理了qaq