已知四维向量α₁，α₂，α₃线性无关，且与向量β₁，β₂都正交，证明：β₁，β₂线性相关．

（）是我国的分类主题一体化标引工具。