TY - RPRT TI - A new ultrafilter proof of Van der Waerden's theorem AU - Mauro Di Nasso PY - 2026 UR - https://arxiv.org/abs/2603.04043 ID - 2603.04043 ER -