To be precise, it was not theorem:gowersbilinear directly but a more analytic variant of it that was used (combined with many other ideas) to prove the \(U^4\)  inverse theorem in [1]}. However, we will not discuss this analytic variant here.
