[证明题,20分] 设是四维向量，且线性无关，证明 线性相关。