设(n)维向量组(S,T)和它们的并集(ScupT)的秩依次为(s,t)和(r,)则必有关系式(（quad）)。