Linear subspace/Intersection/Dimension estimate/Fact

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

Then