\(\bullet \)  Even using the full force of the Host-Kra theory of characteristic factors [1]} it is not clear how to prove Theorem REF . So the more elementary approach we follow, which is motivated by the recent work of Peluse and Prendiville [2]}, [3]} on the polynomial Szemerédi theorem, offers substantial technical advantages.
