Linear subspace/Intersection/Dimension estimate/Fact

Let be a field, and let be a -vector space of dimension . Let denote linear subspaces of dimension and .

Then