Redirecting to Szemerédi's theorem