Proposition 4.11. Assuming that:

Then

T_{4} (f_{1}, f_{2}, f_{3}, f_{4}) \leq \min_{i \in [4]} ∥ f_{i} ∥_{U^{3} (G)} \prod_{j \neq i} ∥ f_{j} ∥_{L^{\infty} (𝔽_{5}^{n})} .