扩张子空间定理

expanding subspace theorem