Erdős' conjecture on arithmetic progressions can be viewed as a stronger version of Szemerédi's theorem.
Erdős' conjecture about arithmetic progressions is a more powerful statement than Szemerédi's theorem.