a1.a2.a3线性无关,a4不能由这三个向量线性表出,则这四个向量线性无关,请问这句话对吗?是根据哪个定理定义?