Szemerédi's theorem and problems on arithmetic progressions