若向量组阿尔法可由贝塔线性表处,且前者向量个数大于后者,则阿尔法线性相关,这个定理怎么理解,或者简要证明,