An extension of this proof eluded mathematicians for decades until 1998, when Timothy Gowers developed the field of higher-order Fourier Analysis specifically to generalize the above proof to prove Szemerédi's theorem.