Let be finite-dimensional vector spaces over a prime field . Let be a variety inside defined by a multilinear map. We show that if , then contains a subvariety defined by at most multilinear forms, where depends on only. This result is optimal up to multiplicative constant and is relevant to the partition vs. analytic rank problem in additive combinatorics.
