证明向量空间必定含有零向量