展开 六个四维向量组至少有2个向量可逆矩阵