A new ultrafilter proof of Van der Waerden's theorem

We present a new short proof of Van der Waerden’s Theorem about the existence of arbitrarily long monochromatic arithmetic progressions. The proof uses algebra in the compact space of ultrafilters $\beta \mathbb{N}$, but contrarily to the other existing proofs, neither minimal nor idempotent ultrafilters are involved.