Formulating Szemerédi's theorem in terms of ultrafilters

Van der Waerden's theorem asserts that if you color the natural numbers with, say, five different colors, then you can always find arbitrarily long sequences of numbers that have the same color and that form an arithmetic progression. Szemerédi's theorem generalizes this statement and asserts that every subset of natural numbers with positive density contains arithmetic progressions of arbitrary length