【正确答案】必要性．
由γ₁，γ₂，…，γ_t，η₁，η₂，…，η_s线性相关，知存在k₁，k₂，…，k_t，l₁，l₂，…，l_s不全为零，使得k₁γ₁+k₂γ₂+…+k_tγ_t+l₁η₁+l₂η₂+…+l_sη_s=0．
令ξ=k₁γ₁+k₂γ₂+…+k_tγ_t，则ξ≠0(否则k₁，k₂，…，k_t，l₁，l₂，…，l_s全为0)，且ξ=-l₁η₁-l₂η₂-…-l_sη_s，即非零向量ξ既可由γ₁，γ₂，…，γ_t表示，也可由η₁，η₂，…，η_s表示，所以Ax=0和Bx=0有非零公共解．
充分性．
若Ax=0和Bx=0有非零公共解，假设为ξ≠0，则ξ=k₁γ₁+k₂γ₂+…+k_tγ_t且ξ=-l₁η₁-l₂η₂-…-l_sη_s，于是，存在k₁，k₂，…，k_t不全为零，存在l₁，l₂，…，l_s不全为零，使得
k₁γ₁+k₂γ₂+…+k_tγ_t+l₁η₁+l₂η₂+…+l_sη_s=0，
从而γ₁，γ₂，…，γ_t，η₁，η₂，…，η_s线性相关．