用AB解空间的维度减去A解空间的维度，相当于去掉了A对解空间维度数量做出的贡献，但是由于A和B对空间维度增加的贡献有的是重合的（表现为ax=0和bx=0的基础解系中线性无关的解有可以相互表示的），所以SAB-SA应该比SB小(S就是维数），转化成矩阵的秩表示就是n-RAB-（n-RA）＜n-RB整理之后就是结果了。