关于极大线性无关组的问题!设向量组a1,a2,a3,a4线性相关,a1,a2,a3是它的唯一的一个极大线性无关组,试证: