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
Let be a field, and let be a -vector space of dimension . Let denote linear subspaces of dimension and .