4.2.3 线性相关的常用结论