§2线性相关性的结论极大线性无关组